Symbolic execution - PDFSEARCH.IO - Document Search Engine

Symbolic execution
Results: 153

#	Item
131	Angelic Debugging Satish Chandra Emina Torlak IBM Research Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Cross-platform software Abstract interpretation Symbolic execution Debugging Exception handling Software testing KeY Test Function Computing Computer programming Software engineering
132	Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California, Berkeley and † Carnegie Mellon University Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Computer programming Symbolic execution Concolic testing Buffer overflow Algorithm Infinite loop Function Stack Dependence analysis Software bugs Software engineering Computing
133	Towards Generating High Coverage Vulnerability-Based Signatures with Protocol-Level Constraint-Guided Exploration Juan Caballero21 , Zhenkai Liang3 , Pongsin Poosankam21 , Dawn Song1 1 Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Computer security Hacking Computer network security Vulnerability Communications protocol Social vulnerability Symbolic execution Intrusion prevention system Parsing Computing Software testing Cyberwarfare
134	Symbolic Software Model Validation Cynthia Sturton,1 Rohit Sinha,2 Thurston H.Y. Dang,2 Sakshi Jain,2 Michael McCoyd,2 Wei Yang Tan,2 Petros Maniatis,3 Sanjit A. Seshia,2 and David Wagner 2 1 University of North Carolin Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-10-18 17:59:35 Theoretical computer science Logic in computer science Model checking Formal verification Symbolic execution First-order logic Validation Static single assignment form Model theory Logic Formal methods Mathematical logic
135	KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Cristian Cadar, Daniel Dunbar, Dawson Engler ∗ Stanford University Abstract Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:19:41 Computer programming Klee Constraint programming Programming language implementation Symbolic execution Code coverage Assembly language Concolic testing Software engineering Software testing Bauhaus
136	Apache suEXEC Bypass Written by frame at kernelpanik.org Introduction This days is common running multiple virtual hosts1 over the same physical box. Also, code execution in web servers is a com Add to Reading List Source URL: www.kernelpanik.org Language: English - Date: 2012-09-03 09:14:09 World Wide Web Common Gateway Interface .htaccess SuEXEC Virtual hosting Apache HTTP Server Webserver directory index Httpd.conf Symbolic link Software System software Computing
137	SEEP: Exploiting Symbolic Execution for Energy-Aware Programming Add to Reading List Source URL: www4.cs.fau.de Language: English - Date: 2011-11-22 11:07:25 Programming language implementation Physics Compiler optimization World energy consumption Energy Energy policy Energy economics
138	A Symbolic Execution Framework for JavaScript Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song Computer Science Division, EECS Department University of California, Berkeley {prateeks, d Add to Reading List Source URL: www.vividmachines.com Language: English - Date: 2010-04-04 19:08:02 Constraint programming Cross-platform software JavaScript Symbolic execution Cross-site scripting Type system Code injection Software engineering Computing Computer programming
139	On Test Repair Using Symbolic Execution Brett Daniel1 1 Tihomir Gvero2 Add to Reading List Source URL: mir.cs.illinois.edu Language: English - Date: 2010-05-05 16:30:22 Software Cross-linked polyethylene Reliability engineering Unit testing Test automation Statistical hypothesis testing Symbolic execution Constant Literal Software testing Statistics Software development
140	Timing constraints and symbolic execution for a hybrid synchronous language Timothy Bourke and Marc Pouzet November 1, 2013 Recent work in the Inria/ENS team Parkas, in collaboration with Esterel Technologies, the develo Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2013-12-15 06:16:55 Computer science Differential equations Model checkers Automata theory Simulation software Model checking SIGNAL Uppaal Model Checker Hybrid automaton Computing Formal methods Theoretical computer science

UPDATE